


#ifndef SAR_KERNEL_USER_USERID_H
#define SAR_KERNEL_USER_USERID_H

typedef unsigned int userid;
#define BADUSERID ((userid) -1)

void userid_init ();

/* request and release userids */
userid userid_request ();
void userid_release (userid _id);

int userid_join (userid _id, userid _group);

#endif
